Intuitionistic Non-normal Modal Logics: A General Framework
نویسندگان
چکیده
منابع مشابه
Models for Normal Intuitionistic Modal Logics
Kripke-style models with two accessibility relations, one intuitionistio and the other modal, are given for analogues of the modal system K based on Heyting's propositional logic. I t is shown that these two relations can combine with each other in various ways. Soundness and completeness are proved for systems with only the necessity operator, or only the possibility operator, or both. Embeddi...
متن کاملModels for stronger normal intuitionistic modal logics
This paper, a sequel to "Models for normal intuitionistie modal logics" by M. Bo~i6 and the author, which dealt with intuitionistic analogues of the modal system K, deals similarly with intuitionistic analogues of systems stronger than K, and, in particular, analogues of $4 and $5. For these propositional logics Kripke-style models with two accessibility relations, one intuitionistic and the ot...
متن کاملA general method for proving decidability of intuitionistic modal logics
We generalise the result of [H. Ganzinger, C. Meyer, M. Veanes, The two-variable guarded fragment with transitive relations, in: Proc. 14th IEEE Symposium on Logic in Computer Science, IEEE Computer Society Press, 1999, pp. 24–34] on decidability of the two variable monadic guarded fragment of first order logic with constraints on the guard relations expressible in monadic second order logic. I...
متن کاملOn Some Intuitionistic Modal Logics
Some modal logics based on logics weaker than the classical logic have been studied by Fitch [4], Prior [18], Bull [1], [2], [3], Prawitz [17] etc. In this paper, we treat modal logics based on the intuitionistic prepositional logic, which we call intuitionistic modal logics (abbreviated as IML's). Our main concern is to compare properties of several IML's of S4or S5-type 03^ using some model t...
متن کاملLabelled Tableaux for Non-normal Modal Logics
In this paper we show how to extend KEM, a tableau-like proof system for normal modal logic, in order to deal with classes of non-normal modal logics, such as monotonic and regular, in a uniform and modular way.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Philosophical Logic
سال: 2020
ISSN: 0022-3611,1573-0433
DOI: 10.1007/s10992-019-09539-3